/LMAR=0/XLINE=3/FONT#0=BAXL30/FONT#1=BAXM30/FONT#2=BAXB30/FONT#3=SUB/FONT#4=SUP/FONT#5=BASL35/FONT#6=NGR25/FONT#7=MATH30/FONT#8=FIX25/FONT#9=GRK30/FONT#10=ZERO30/FONT#11=BAXI30/FONT#12=MS25



␈↓ ↓H␈↓α␈↓ β5Role of Dr. Zohar Manna as Professor of Computer Science

␈↓ ↓H␈↓   Zohar␈α
Manna␈α
is␈α
one␈α
of␈α
the␈αprincipal␈α
contributors␈α
to␈α
the␈α
mathematical␈α
theory␈α
of␈αcomputation.␈α
In
␈↓ ↓H␈↓this␈α
field,␈α
concepts␈αderived␈α
from␈α
mathematical␈αlogic␈α
are␈α
applied␈α
to␈αstudy␈α
the␈α
behavior␈αof␈α
computer
␈↓ ↓H␈↓programs.␈α∂A␈α∞practical␈α∂outcome␈α∞of␈α∂this␈α∞research␈α∂is␈α∞the␈α∂emergence␈α∞of␈α∂techniques␈α∂for␈α∞constructing
␈↓ ↓H␈↓efficient␈α∞programs␈α∞and␈α∞proving␈α∞their␈α
correctness.␈α∞Manna's␈α∞own␈α∞researh␈α∞combines␈α∞the␈α
theoretical
␈↓ ↓H␈↓and practical aspects of the field.

␈↓ ↓H␈↓   Manna␈αis␈αthe␈αauthor␈αof␈αthe␈αbook␈α"Mathematical␈αTheory␈αof␈αComputation,"␈αthe␈α
field's␈αprincipal
␈↓ ↓H␈↓text.␈α⊗He␈α⊗is␈α⊗the␈α∃author␈α⊗of␈α⊗numerous␈α⊗publications,␈α⊗and␈α∃is␈α⊗frequently␈α⊗invited␈α⊗to␈α⊗lecture␈α∃at
␈↓ ↓H␈↓international␈αconferences␈αand␈α
seminars.␈αHe␈αis␈αa␈α
clear␈αand␈αenthusiastic␈α
lecturer,␈αand␈αhis␈αcourses␈α
are
␈↓ ↓H␈↓popular␈αand␈αwell-attended.␈α
He␈αhas␈αbeen␈αthe␈α
advisor␈αfor␈α several␈α
outstanding␈αPh.D.␈αtheses,␈αand␈α
he
␈↓ ↓H␈↓cooperates closely with his students.

␈↓ ↓H␈↓   Having␈α∃Manna␈α∃to␈α∃strengthen␈α∃the␈α∃department␈α∃in␈α∃mathematical␈α∃theory␈α∃of␈α⊗computation␈α∃is
␈↓ ↓H␈↓particularly␈α∂important␈α∂now␈α∂that␈α∂through␈α∂his␈α∂and␈α∞others'␈α∂work␈α∂is␈α∂is␈α∂becoming␈α∂possible␈α∂to␈α∞teach
␈↓ ↓H␈↓students␈α
to␈α
prove␈α
the␈α
correctness␈α
of␈α
their␈αprograms.␈α
 We␈α
also␈α
need␈α
him␈α
to␈α
direct␈α
dissertations␈αin
␈↓ ↓H␈↓developing new techniques for program verification.